SUBDIRS=1_k 2_languages
include ../../../include/kframework/ktest-group.mak
